We construct an invariant of 2-knots akin to the Jones polynomial of a knot. To achieve this, we adopt a new point of view on the foundations of diagrammatic 2-knot theory, and introduce a series of ideas to address questions ...